Higher Computing - PDFSEARCH.IO - Document Search Engine

Higher Computing
Results: 1165

#	Item
501	Resume - Jeremy James Nickurak Add to Reading List Source URL: nickurak.ca Language: English - Date: 2014-09-24 23:58:57 High-level programming languages Scripting languages Association of Commonwealth Universities Consortium for North American Higher Education Collaboration University of Alberta Perl Pascal Virtual machine Department of Computer Science Computing Software engineering Software
502	ACPET Journal for Private Higher Education ACPET media kit October 2012 Introduction Add to Reading List Source URL: www.acpet.edu.au Language: English - Date: 2013-01-13 23:27:21 Bleed Advertising Computer file Communication Email Terminology Computing
503	Submitting your advertisement The ACPET Journal for Private Higher Education Advertising Guide Add to Reading List Source URL: www.acpet.edu.au Language: English - Date: 2013-01-13 22:44:49 Terminology Adobe Systems Email Technology Advertising Communication design Bleed Portable Document Format Zip Computing Electronic documents Graphics file formats
504	Simulating Quantified Class Constraints Valery Trifonov Department of Computer Science Yale University New Haven, CT, USA[removed] Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2003-08-22 11:33:07 Declarative programming Data types Functional programming Higher-order functions Literate programming Type class Generic programming Map Haskell Software engineering Computing Type theory
505	Verifying Higher-order Programs with the Dijkstra Monad Nikhil Swamy1 Joel Weinberger2 Cole Schlesinger3 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-02-07 17:27:24 Semantics HTML Model theory Predicate logic Subroutines Typeof Foreach loop Tree traversal H1 Computing Software engineering Logic
506	Why Dependent Types Matter Thorsten Altenkirch Conor McBride The University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-05-01 19:46:50 Functional languages Higher-order functions Procedural programming languages Functional programming Fold Recursion Structural induction ML Map Software engineering Computing Computer programming
507	Modern Programming Languages Concurrency and Message Passing in Erlang Developers use the open source Erlang programming language in domains such as Add to Reading List Source URL: steve.vinoski.net Language: English - Date: 2012-11-04 11:03:44 Higher-order functions Subroutines Ericsson Erlang Lambda calculus Fold Oz Anonymous function Map Software engineering Computing Computer programming
508	Modeling and Optimizing MapReduce Programs Jens Dörre, Sven Apel, Christian Lengauer University of Passau Germany Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-12-16 04:51:35 Parallel computing Higher-order functions Cloud computing Distributed computing architecture MapReduce Cloud infrastructure Apache Hadoop Map Google File System Computing Concurrent computing Computer programming
509	higher Education THE STATE OF YOU N G A M E RI CA Jobs And The Economy \| S TAT E O F YO U N G A M E R I C A Add to Reading List Source URL: www.demos.org Language: English - Date: 2012-02-22 15:27:32 Classical cipher Word square Computer programming Computing Software engineering
510	© istockphoto, blackred More Confidence in Variable Direct Mail Proofing and Production Quality Compart’s custom comparision apps help Japs-Olson to achieve a higher level of quality control that exactly fit their Add to Reading List Source URL: www.compart.com Language: English - Date: 2013-01-08 04:26:56 Workflow technology Marketing Groupware Management Workflow Personalization Portable Document Format Digital press Computing Information science

UPDATE